41. Computing with logic : logic programming with Prolog
المؤلف: Maier, David, 3591-
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76M349
1988
42. Computing with logic : logic programming with Prolog
المؤلف: Maier, David
المکتبة: (طهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76
M349
1988
43. Conclog : a methodological approach to concurrent logic programming
المؤلف: Jacquet, Jean-Marie
المکتبة: (طهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
556
44. Constraint satisfaction in logic programming
المؤلف: / Pascal Van Hentenryck,Van Hentenryck
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic programming
رده :
QA
76
.
6
.
V347
1989
45. DLP : a language for distributed logic programming : design, semantics, and implementation
المؤلف: Eliens, Anton.
المکتبة: (طهران)
موضوع: Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
46. Digital computer programming; logic and language
المؤلف: / Charles M. Thatcher and Anthony J. Capato
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming,FORTRAN (Computer program language)
رده :
651
.
8
Th-D
47. Digital computer programming; logic and language
المؤلف: Thatcher , Charles Manson, 2291-
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Electronic digital computers - Programming,، FORTRAN )computer program language(
رده :
QA
76
.
5
.
T5
48. Digital logic simulation and CPLD programming
المؤلف: / Steve Waterman
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: م‍داره‍ای م‍ن‍طق‍ی -- طرح و س‍اخ‍ت‍م‍ان -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,م‍داره‍ای م‍ن‍طق‍ی -- ش‍ب‍ی‍ه‌س‍ازی ک‍ام‍پ‍ی‍وت‍ری -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,-- Logic programming دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,وی. اچ. دی . ال (زب‍ان ت‍وص‍ی‍ف‍ی س‍خ‍ت‌اف‍زار)
رده :
TK
۷۸۶۸
/
م
۴۸
و
۲ ۱۳۸۲
49. Distributed constraint logic programming
المؤلف: Leung, Ho-Fung.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
50. Distributed constraint logic programming
المؤلف: Leung, Ho-Fung.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
51. Essentials of logic programming
المؤلف: Hogger, Christopher John
المکتبة: (طهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
H64
1990
52. Extensions of logic programming
المؤلف: E. Lamma, P. Mello, eds.
المکتبة: (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
53. Extensions of logic programming
المؤلف: E. Lamma, P. Mello, eds.
المکتبة: (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
54. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
المؤلف: P. Schroeder-Heister, ed
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
55. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
56. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
المؤلف: L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
596
57. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
المؤلف: Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
58. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
المؤلف: Roy Dyckhoff )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
59. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
المؤلف: ELP '29 )2991: Bologna, Italy(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
60. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
المؤلف: E. Lamma, P. Mello, eds
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
